A Theory of Indirection via ApproximationHOBOR, Aquinas; DOCKINS, Robert; APPEL, Andrew W et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 171-184, issn 1523-2867, 14 p.Conference Paper

Low-Level Liquid TypesRONDON, Patrick; KAWAGUCHI, Ming; JHALA, Ranjit et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 131-143, issn 1523-2867, 13 p.Conference Paper

POPL'10: Proceedings of the Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesACM SIGPLAN notices. 2010, Vol 45, Num 1, issn 1523-2867, 517 p.Conference Proceedings

Contracts Made ManifestGREENBERG, Michael; PIERCE, Benjamin C; WEIRICH, Stephanie et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 353-364, issn 1523-2867, 12 p.Conference Paper

Dependent Types and Program EquivalenceLIMIN JIA; JIANZHOU ZHAO; SJÖBERG, Vilhelm et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 275-286, issn 1523-2867, 12 p.Conference Paper

Dependent Types from CounterexamplesTERAUCHI, Tachio.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 119-130, issn 1523-2867, 12 p.Conference Paper

Generating Compiler Optimizations from ProofsTATE, Ross; STEPP, Michael; LERNER, Sorin et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 389-402, issn 1523-2867, 14 p.Conference Paper

Semantics and Algorithms for Data-dependent GrammarsJIM, Trevor; MANDELBAUM, Yitzhak; WALKER, David et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 417-430, issn 1523-2867, 14 p.Conference Paper

Structuring the Verification of Heap-Manipulating ProgramsNANEVSKI, Aleksandar; VAFEIADIS, Viktor; BERDINE, Josh et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 261-273, issn 1523-2867, 13 p.Conference Paper

Continuity Analysis of ProgramsCHAUDHURI, Swarat; GULWANI, Sumit; LUBLINERMAN, Roberto et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 57-69, issn 1523-2867, 13 p.Conference Paper

Nominal System TPITTS, Andrew M.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 159-170, issn 1523-2867, 12 p.Conference Paper

Reconfigurable Asynchronous Logic Automata (RALA)GERSHENFELD, Neil; DALRYMPLE, David; KAILIANG CHEN et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 1-6, issn 1523-2867, 6 p.Conference Paper

Counterexample-Guided FocusPODELSKI, Andreas; WIES, Thomas.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 249-260, issn 1523-2867, 12 p.Conference Paper

Programming with Angelic NondeterminismBARMAN, Shaon; BODIK, Rastislav; CHANDRA, Satish et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 339-351, issn 1523-2867, 13 p.Conference Paper

Sequential Verification of SerializabilityATTIYA, H; RAMALINGAM, G; RINETZKY, N et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 31-42, issn 1523-2867, 12 p.Conference Paper

Static Determination of Quantitative Resource Usage for Higher-Order ProgramsJOST, Steffen; HAMMOND, Kevin; LOIDL, Hans-Wolfgang et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 223-236, issn 1523-2867, 14 p.Conference Paper

A Relational Modal Logic for Higher-Order Stateful ADTsDREYER, Derek; NEIS, Georg; ROSSBERG, Andreas et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 185-198, issn 1523-2867, 14 p.Conference Paper

Automatically Generating Instruction Selectors Using Declarative Machine DescriptionsDIAS, João; RAMSEY, Norman.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 403-416, issn 1523-2867, 14 p.Conference Paper

Modular Verification of Security Protocol Code by TypingBHARGAVAN, Karthikeyan; FOURNET, Cédric; GORDON, Andrew D et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 445-456, issn 1523-2867, 12 p.Conference Paper

A Simple, Verified Validator for Software Pipelining (verification pearl)TRISTAN, Jean-Baptiste; LEROY, Xavier.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 83-92, issn 1523-2867, 10 p.Conference Paper

Automatic Numeric Abstractions for Heap-Manipulating ProgramsMAGILL, Stephen; TSAI, Ming-Hsien; LEE, Peter et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 211-222, issn 1523-2867, 12 p.Conference Paper

Decision Procedures for Algebraic Data Types with AbstractionsSUTER, Philippe; DOTTA, Mirco; KUNCAK, Viktor et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 199-210, issn 1523-2867, 12 p.Conference Paper

Dynamically Checking Ownership Policies in Concurrent C/C++ ProgramsMARTIN, Jean-Phillipe; HICKS, Michael; COSTA, Manuel et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 457-470, issn 1523-2867, 14 p.Conference Paper

Modular Session Types for Distributed Object-Oriented ProgrammingGAY, Simon J; VASCONCELOS, Vasco T; RAVARA, António et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 299-312, issn 1523-2867, 14 p.Conference Paper

Compositional May-Must Program Analysis: Unleashing the Power of AlternationGODEFROID, Patrice; NORI, Aditya V; RAJAMANI, Sriram K et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 43-55, issn 1523-2867, 13 p.Conference Paper